Riecke, Jon: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

The analysis of programming structure

Mitchell, John C., Riecke, Jon G.

Journal:

ACM SIGACT News

Year:

1997

Language:

english

File:

PDF, 528 KB

english, 1997

2

Privacy via Subsumption

Jon G. Riecke, Christopher A. Stone

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 149 KB

english, 2002

3

Reference counting as a computational interpretation of linear logic

Chirimar, Jawahar, Gunter, Carl A., Riecke, Jon G.

Journal:

Journal of Functional Programming

Year:

1996

Language:

english

File:

PDF, 2.64 MB

english, 1996

4

Quantifying the influence of previously burned areas on suppression effectiveness and avoided exposure: a case study of the Las Conchas Fire

Thompson, Matthew P., Freeborn, Patrick, Rieck, Jon D., Calkin, David E., Gilbertson-Day, Julie W., Cochrane, Mark A., Hand, Michael S.

Journal:

International Journal of Wildland Fire

Year:

2016

Language:

english

File:

PDF, 1.85 MB

english, 2016

5

[ACM Press the 26th ACM SIGPLAN-SIGACT symposium - San Antonio, Texas, United States (1999.01.20-1999.01.22)] Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 - A core calculus of dependency

Abadi, Martín, Banerjee, Anindya, Heintze, Nevin, Riecke, Jon G.

Year:

1999

Language:

english

File:

PDF, 1.47 MB

english, 1999

6

A Relational Account of Call-by-Value Sequentiality

Jon G. Riecke, Anders Sandholm

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 300 KB

english, 2002

7

[ACM Press the 22nd ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1995.01.23-1995.01.25)] Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 - Isolating side effects in sequential languages

Riecke, Jon G., Viswanathan, Ramesh

Year:

1995

Language:

english

File:

PDF, 1.29 MB

english, 1995

8

[ACM Press the ACM SIGPLAN 1996 conference - Philadelphia, Pennsylvania, United States (1996.05.21-1996.05.24)] Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation - PLDI '96 - Simple objects for Standard ML

Reppy, John, Riecke, Jon

Year:

1996

Language:

english

File:

PDF, 1.00 MB

english, 1996

9

[ACM Press the 1992 ACM conference - San Francisco, California, United States (1992.06.22-1992.06.24)] Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 - Proving memory management invariants for a language based on linear logic

Chirimar, Jawahar, Gunter, Carl A., Riecke, Jon G.

Year:

1992

Language:

english

File:

PDF, 832 KB

english, 1992

10

[ACM Press the seventh international conference - La Jolla, California, United States (1995.06.26-1995.06.28)] Proceedings of the seventh international conference on Functional programming languages and computer architecture - FPCA '95 - A generalization of exceptions and control in ML-like languages

Gunter, Carl A., Rémy, Didier, Riecke, Jon G.

Year:

1995

Language:

english

File:

PDF, 1.27 MB

english, 1995

11

Conditions for the completeness of functional and algebraic equational reasoning

RIECKE, JON G., SUBRAHMANYAM, RAMESH

Journal:

Mathematical Structures in Computer Science

Year:

1999

Language:

english

File:

PDF, 415 KB

english, 1999

12

Simple objects for Standard ML

Reppy, John, Riecke, Jon

Journal:

ACM SIGPLAN Notices

Year:

1996

Language:

english

File:

PDF, 1.00 MB

english, 1996

13

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Algebraic reasoning and completeness in typed languages

Riecke, Jon G., Subrahmanyam, Ramesh

Year:

1993

Language:

english

File:

PDF, 960 KB

english, 1993

14

Determinants of systolic blood pressure response during exercise in overweight subjects

Bratberg, Jon A., Bulut, Efraim, Rieck, Åshild E., Lønnebakken, Mai Tone, Hetland, Trude, Gerdts, Eva

Journal:

Year:

2014

Language:

english

File:

PDF, 145 KB

english, 2014

15

Proving memory management invariants for a language based on linear logic

Chirimar, Jawahar, Gunter, Carl A., Riecke, Jon G.

Journal:

ACM SIGPLAN Lisp Pointers

Year:

1992

Language:

english

File:

PDF, 832 KB

english, 1992

16

Stability issues in OSPF routing

Basu, Anindya, Riecke, Jon

Journal:

ACM SIGCOMM Computer Communication Review

Year:

2001

Language:

english

File:

PDF, 203 KB

english, 2001

17

Wildfire Response Performance Measurement: Current and Future Directions

Thompson, Matthew, Lauer, Christopher, Calkin, David, Rieck, Jon, Stonesifer, Crystal, Hand, Michael

Journal:

Year:

2018

Language:

english

File:

PDF, 1.95 MB

english, 2018

18

[ACM Press the 2001 conference - San Diego, California, United States (2001..-..)] Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications - SIGCOMM '01 - Stability issues in OSPF routing

Basu, Anindya, Riecke, Jon

Year:

2001

Language:

english

File:

PDF, 203 KB

english, 2001

19

[ACM Press the 25th ACM SIGPLAN-SIGACT symposium - San Diego, California, United States (1998.01.19-1998.01.21)] Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98 - The SLam calculus

Heintze, Nevin, Riecke, Jon G.

Year:

1998

Language:

english

File:

PDF, 1.70 MB

english, 1998

20

[ACM Press the conference - Copenhagen, Denmark (1993.06.09-1993.06.11)] Proceedings of the conference on Functional programming languages and computer architecture - FPCA '93 - Delimiting the scope of effects

Year:

1993

Language:

english

File:

PDF, 851 KB

english, 1993

21

Book reviews

Roberts Reid, Louise, Maylor, Harvey, Rieck, Russell, Sigurdson, Jon, Coles, Anne-Marie

Journal:

Technology Analysis & Strategic Management

Year:

1991

Language:

english

File:

PDF, 746 KB

english, 1991

22

[ACM Press the 1988 ACM conference - Snowbird, Utah, United States (1988.07.25-1988.07.27)] Proceedings of the 1988 ACM conference on LISP and functional programming - LFP '88 - Continuations may be unreasonable

Meyer, Albert, Riecke, Jon G.

Year:

1988

Language:

english

File:

PDF, 606 KB

english, 1988

23

Fully abstract translations between functional languages

Journal:

Mathematical Structures in Computer Science

Year:

1993

Language:

english

File:

PDF, 1.61 MB

english, 1993

24

[ACM Press the 18th ACM SIGPLAN-SIGACT symposium - Orlando, Florida, United States (1991.01.21-1991.01.23)] Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91 - Fully abstract translations between functional languages

Year:

1991

Language:

english

File:

PDF, 878 KB

english, 1991

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски